@Property decorator in Python